Sciweavers

7040 search results - page 152 / 1408
» The Single Model Principle
Sort
View
ECOWS
2006
Springer
14 years 22 days ago
A Value-Based Foundation for Service Modelling
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
Martin Henkel, Erik Perjons, Jelena Zdravkovic, Ch...
ICAS
2006
IEEE
128views Robotics» more  ICAS 2006»
14 years 3 months ago
The AML Approach to Modeling Autonomic Systems
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
Radovan Cervenka, Dominic A. P. Greenwood, Ivan Tr...
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
14 years 3 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
14 years 1 months ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
NIPS
2003
13 years 10 months ago
The Doubly Balanced Network of Spiking Neurons: A Memory Model with High Capacity
A balanced network leads to contradictory constraints on memory models, as exemplified in previous work on accommodation of synfire chains. Here we show that these constraints can...
Yuval Aviel, David Horn, Moshe Abeles