1054 search results - page 192 / 211 » Translation Validation of System Abstractions |
376
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
140
Voted
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
227
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
173
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
147
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper presents a new approach to the intralocalization among a team of robots working in constrained 3D space of urban environments. As the base formation, a team ...