Sciweavers

3185 search results - page 78 / 637
» Principles for modeling language design
Sort
View
AMC
2006
89views more  AMC 2006»
13 years 7 months ago
A functional computation model for the duality of two-variable Lambda-Boolean functions
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
Tolga Güyer, Seref Mirasyedioglu
COMCOM
2004
102views more  COMCOM 2004»
13 years 7 months ago
The distinctive design characteristic of a wireless sensor network: the energy map
The key challenge in the design of a wireless sensor network is maximizing its lifetime. This is a fundamental problem and new protocol engineering principles need to be establish...
Raquel A. F. Mini, Antonio Alfredo Ferreira Lourei...
HICSS
2009
IEEE
114views Biometrics» more  HICSS 2009»
14 years 2 months ago
Reexamining Threat Rigidity: Implications for Design
Emergencies today seem larger, more complex, and unique than those of the past. Responding to them requires flexibility and creativity not easily achieved. The threat-rigidity the...
Linda Plotnick, Murray Turoff, Gerd Van Den Eede
ECEASST
2006
111views more  ECEASST 2006»
13 years 7 months ago
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
Juan Martin Chiaradía, Claudia Pons
UML
2004
Springer
14 years 1 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...