647 search results - page 34 / 130 » Implementation of MAP: A system for mobile assistant program... |
123
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
167
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
161
click to vote
WMCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Both the research community and developers in industry have identified the need for a clearly defined vocabulary and programming framework for location technologies. A layered Loc...
170
click to vote
CODES
2004
IEEE
15 years 9 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
144
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...