15860 search results - page 2614 / 3172 » Agent-Based Software Engineering |
158
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
160
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
180
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
167
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
180
click to vote
MIDDLEWARE
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a context-aware middleware for multimodal dialogue applications. The middleware has the context tracing feature, which is the possibility of the middleware to ...