4965 search results - page 70 / 993 » A Simple Abstraction for Data Modeling |
179
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
134
Voted
SEMWEB
2009
Springer
16 years 4 days ago
2009
Springer
The Web of Data is built upon two simple ideas: Employ the RDF data model to publish structured data on the Web and to create explicit data links between entities within different...
163
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
131
Voted
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
146
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Packet data transfer scheme is introduced for intrachip data transfer to solve an interconnection problem. Double transmission lines are provided as a platform of the m...