Filters








39 Hits in 8.2 sec

Flux: FunctionaL Updates for XML (extended report) [article]

James Cheney
2008 arXiv   pre-print
In prior work, we have introduced a core language for Flux with a clear operational semantics and a sound, decidable static type system based on regular expression types.  ...  We are developing an XML update language called Flux, which stands for FunctionaL Updates for XML, drawing upon ideas from functional programming languages.  ...  Moreover, FLUX is the first proposal for updating XML to be equipped with a sound, static type system.  ... 
arXiv:0807.1211v1 fatcat:nnw7so2g7ras7olnpz4kmhstn4

Enabling adaptive time-based web applications with SMIL state

Jack Jansen, Dick C.A. Bulterman
2008 Proceeding of the eighth ACM symposium on Document engineering - DocEng '08  
In addition, SMIL State can be used as a bridging mechanism between languages, enabling easy integration of external components into the web application.  ...  to realize within the temporal containment model of the host languages.  ...  In the case of static typing or not this is probably more a matter of personal preference.  ... 
doi:10.1145/1410140.1410146 dblp:conf/doceng/JansenB08 fatcat:f6cjvj6it5c3hdagytslpxsqdy

Internet of Things and M2M Communications as Enablers of Smart City Initiatives

Soumya Kanti Datta, Christian Bonnet
2015 2015 9th International Conference on Next Generation Mobile Applications, Services and Technologies  
, (iii) OMA Lightweight M2M based device management framework, (iv) resource discovery framework and (v) Machine-to-Machine Measurement framework based M2M data processing and analytics.  ...  The main contributions of the work are -(i) uniform metadata exchange with things using Sensor Markup Language and its extensions, (ii) uniform description of heterogeneous things for configuration management  ...  It provides a uniform and structured way to encode sensor measurement and additional attributes of the things (e.g. type of device, unit, timestamp, domain, update time).  ... 
doi:10.1109/ngmast.2015.10 dblp:conf/ngmast/DattaB15a fatcat:q6zlp2mhfbeqnic74lbqdquufe

SMIL State: an architecture and implementation for adaptive time-based web applications

Jack Jansen, Dick C. A. Bulterman
2009 Multimedia tools and applications  
In addition, SMIL State can be used as a bridging mechanism between languages, enabling easy integration of external components into the web application.  ...  We conclude with a set of potential use cases, including dynamic content adaptation and delayed insertion of custom content such as advertisements. Keywords Declarative languages . SMIL .  ...  In the case of static typing or not this is probably more a matter of personal preference.  ... 
doi:10.1007/s11042-009-0270-3 fatcat:u2qa2zqux5celeecvbr3v3ttby

Scalable Oriented-Service Architecture for Heterogeneous and Ubiquitous IoT Domains [article]

Pablo Lopez, David Fernandez, Rafael Marin-Perez, Antonio J. Jara, Antonio F. Gomez-Skarmeta
2013 arXiv   pre-print
The architecture should enable dynamic updates when new IoT devices are incorporated into Internet, and changes are made to the existing ones.  ...  The architecture provides two lightweight discovery mechanisms based on mDNS and DNS-SD that have been optimized for the constraints of IoT devices to allow autonomous registration.  ...  EXI: Efficient XMl Interchange The Efficient XML Interchange (EXI) [31] format is a very compact, high performance XML binary representation.  ... 
arXiv:1311.4293v1 fatcat:jqmbwnpyv5fprdnywjoybb4iem

Towards a synchronized semantic model to support aspects of building management

Michael Dibley, Haijiang Li, John Miles, Yacine Rezgui
2009 2009 7th IEEE International Conference on Industrial Informatics  
The use of the multi agent paradigm renders a system that delivers demonstrable rationality and is robust within the dynamic environment that it operates.  ...  iii Summary A software system has been developed that monitors and interprets temporally changing (internal) building environments and generates related knowledge that can assist in facility management  ...  XQuery is a query language for XML while XPath is a syntax for specifying a path to a set of nodes in an XML tree structure.  ... 
doi:10.1109/indin.2009.5195822 fatcat:z2s4micvrvhwzioiivpdxz2t54

Designing a Framework for Exchanging Partial Sets of BIM Information on a Cloud-Based Service

Alan Redmond, Roger West, Alan Hore
2013 InternaInternational Journal of 3-D Information Modeling  
Language used for transforming XML documents).  ...  The original BIM XML schema for Cloud BIM is a subset of XML, which is itself a subset of the Standard General Markup Language.  ... 
doi:10.4018/ij3dim.2013100102 fatcat:elyjbrh3h5gytlvhftm7wuwmk4

Regular Expression Subtyping for XML Query and Update Languages [chapter]

James Cheney
Programming Languages and Systems  
XML database query languages such as XQuery employ regular expression types with structural subtyping.  ...  We extend this result to an XML update language we have introduced in earlier work. 1 We use the compact notation for regular expression types introduced by Hosoya, Vouillon and Pierce [14] in preference  ...  Thanks to Peter Buneman and Stijn Vansummeren for many discussions on update languages. The author was supported by EPSRC grant R37476.  ... 
doi:10.1007/978-3-540-78739-6_3 dblp:conf/esop/Cheney08 fatcat:ejmxmkwberabvpmaleiscy2v64

The Internet of Lights: An Open Reference Architecture and Implementation for Intelligent Solid State Lighting Systems

Emi Mathews, Salih Guclu, Qingzhi Liu, Tanir Ozcelebi, Johan Lukkien
2017 Energies  
Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of  ...  A lighting system is specified using a Domain-Specific Language (DSL).  ...  DSLs are formal languages with formal syntax that generate executable models (simulators) for a particular application domain and thereby allowing static and dynamic validation of system instances.  ... 
doi:10.3390/en10081187 fatcat:q4pp6ztewfh3jeiqbprydqtvaq

The Elderly's Independent Living in Smart Homes: A Characterization of Activities and Sensing Infrastructure Survey to Facilitate Services Development

Qin Ni, Ana García Hernando, Iván de la Cruz
2015 Sensors  
Human activity detection within smart homes is one of the basis of unobtrusive wellness monitoring of a rapidly aging population in developed countries.  ...  Related to this, the main contributions of this review are the following: first, we propose a classification of the main activities considered in smart home scenarios which are targeted to older people's  ...  Markup scheme modelling includes a variety of markup languages including XML to define hierarchical data structure, being the hierarchy expressed by means of markup tags with attributes and content.  ... 
doi:10.3390/s150511312 pmid:26007717 pmcid:PMC4481963 fatcat:uli7lirjr5eddfydmfdscblljy

Tracking with high-density, large-scale wireless sensor networks

Davide Merico
2010 Journal of Ambient Intelligence and Smart Environments  
Roberto has been more than a perfect advisor during my research project. He has been been a mentor, a guide, and a good friend.  ...  As shown in Listing 6.6 it is also based on a XML definition file.  ...  also to provide more than enough functionality for many lightweight simulation needs.  ... 
doi:10.3233/ais-2010-0087 fatcat:urq6k3o4xjf2bodrotjbd5e5gi

Behavioural model fusion

Shiva Nejati, Marsha Chechik
2008 Proceedings of the 2008 international workshop on Models in software engineering - MiSE '08  
“Alloy: A Lightweight Object Modelling Notation”. ACM Transactions on Software Engineering and Methodology, 11(2), 256–290. Jackson, D. 2006. Software Abstractions Logic, Language, and Analysis.  ...  In our work, we use two types of heuristics: static and behavioural. Static heuristics use semantic-free attributes, such as element names, for measuring sim- ilarities.  ... 
doi:10.1145/1370731.1370733 dblp:conf/icse/NejatiC08 fatcat:zpus3azynjcezftahtmvrmg724

D3.1 SDN/NFV environment in the home network Definition, description and preliminary implementation of the IoRL home network

Anastasios Kourtis, Andreas Foteas, Charilaos Koumaras, Charilaos Zarakovitis, Michail-Alexandros Kourtis, Themistocles Anagnostopoulos, Adam Kapovits, John Cosmas, Mukhald Salih, Nawar Jawad, Mathias Lacaud, Krzystof Cabaj (+4 others)
2018 Zenodo  
For this purpose, we have developed specific lightweight libraries (currently in Python, but planned to expand to other languages), which can be used by the VNF developer to dispatch application-specific  ...  This approach requires minimal configuration (i.e. few static rules) at the gateway since it only redirects traffic to a cloud provider hosting the middleboxes.  ...  The presented lists are tentative and are meant to be continuously updated as the VNF applications evolve.  ... 
doi:10.5281/zenodo.2579869 fatcat:6loefhzs4be3zkhxcmjsz6ib5y

OPERAS-P Deliverable D6.5: Report on the future of scholarly writing in SSH

Maryl Maciej, Marta Błaszczyńska, Agnieszka Szulińska, Anna Buchner, Piotr Wciślik, Iva Melinščak Zlodi, Jadranka Stojanovski, Elisa Nury, Claire Clivaz, Bartłomiej Szleszyński, Kajetan Mojsak, Mateusz Franczak
2021 Zenodo  
In the literature review we address the state of the art in a reflection on the role of technology in scholarly communication.  ...  The introduction puts forward a theoretical understanding of scholarly writing -- especially in the context of the digital age -- that underlines our research.  ...  opposed to a more static exchange of ideas or drafts by email.  ... 
doi:10.5281/zenodo.4922511 fatcat:5wks2b6qn5eflgvqhdfywhzbe4

Graphene enterprise: mapping innovation and business development in a strategic emerging technology

Philip Shapira, Abdullah Gök, Fatemeh Salehi
2016 Journal of nanoparticle research  
The Strathprints institutional repository (https://strathprints.strath.ac.uk) is a digital archive of University of Strathclyde research outputs.  ...  We further identify a cohort of graphene-oriented firms that are signaling plans to develop intermediate graphene products that should have higher value in the marketplace.  ...  Acknowledgments This work was supported by Nesta (Project on Mapping Innovation and Business Growth in a Strategic Emerging Technology: new data sources and methods for real-time intelligence on graphene  ... 
doi:10.1007/s11051-016-3572-1 pmid:27656105 pmcid:PMC5012252 fatcat:tpdqvdy4f5eypdzjahmoi5547a
« Previous Showing results 1 — 15 out of 39 results