346 search results - page 23 / 70 » Developing Morphological Building Blocks: From Design to Imp... |
125
click to vote
WOWMOM
2009
ACM
15 years 7 months ago
2009
ACM
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...
152
click to vote
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
109
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
121
click to vote
TCAD
2008
15 years 1 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...