Sciweavers

871 search results - page 147 / 175
» Specification of Coordinated Behaviour in the Software Devel...
Sort
View
164
Voted
EMSOFT
2003
Springer
15 years 8 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
122
Voted
ACSC
2004
IEEE
15 years 7 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
JDS
2006
89views more  JDS 2006»
15 years 3 months ago
Network Enabled Decision Support for Civil Emergency Management
Civil emergency management is discussed when more than one aid organisation is involved in solving an emergency problem. This paper analyses interagency cooperation, decision-makin...
Heiner Micko, Johannes Leitner
112
Voted
CACM
1998
83views more  CACM 1998»
15 years 3 months ago
A Pattern System for Network Management Interfaces
: The development of network management interfaces (NMIs) involves a variety of software layers, application programming interfaces (APIs), specification languages and tools. In or...
Rudolf K. Keller, Jean Tessier, Gregor von Bochman...
213
Voted
IUI
2006
ACM
15 years 9 months ago
Splitting rules for graceful degradation of user interfaces
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
Murielle Florins, Francisco Montero Simarro, Jean ...