15777 search results - page 2569 / 3156 » Software Engineering |
181
Voted
ICESS
2005
Springer
16 years 18 days 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...
180
click to vote
ICFEM
2005
Springer
16 years 18 days 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...
198
click to vote
ICFEM
2005
Springer
16 years 18 days 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...
200
Voted
MIDDLEWARE
2005
Springer
16 years 17 days 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 ...
184
Voted
OOPSLA
2005
Springer
16 years 17 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...