Sciweavers

5234 search results - page 610 / 1047
» Method Components - Rationale Revealed
Sort
View
218
Voted
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
16 years 10 days ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
198
Voted
WOSP
2004
ACM
16 years 8 days ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
217
Voted
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
16 years 8 days ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
189
Voted
GISCIENCE
2004
Springer
159views GIS» more  GISCIENCE 2004»
16 years 7 days ago
The SPIRIT Spatial Search Engine: Architecture, Ontologies and Spatial Indexing
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...
Christopher B. Jones, Alia I. Abdelmoty, David Fin...
154
Voted
ISOLA
2004
Springer
16 years 7 days ago
Designing Safe, Reliable Systems using Scade
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
Parosh Aziz Abdulla, Johan Deneaux, Gunnar St&arin...