Sciweavers

2557 search results - page 207 / 512
» Structures of the Environment in Colonies
Sort
View
OOPSLA
2005
Springer
14 years 4 months ago
Using predicate fields in a highly flexible industrial control system
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
Shay Artzi, Michael D. Ernst
PAM
2005
Springer
14 years 4 months ago
Measurement Based Analysis of the Handover in a WLAN MIPv6 Scenario
Abstract. This paper studies the problems related to mobile connectivity on a wireless environment with Mobile IPv6, specially the handover, which is the most critical part. The ma...
Albert Cabellos-Aparicio, René Serral-Graci...
AUSAI
2005
Springer
14 years 4 months ago
Model Checking for PRS-Like Agents
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
Wayne Wobcke, Marc Chee, Krystian Ji
EUC
2004
Springer
14 years 4 months ago
Experimental Assessment of Scenario-Based Multithreading for Real-Time Object-Oriented Models: A Case Study with PBX Systems
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
Saehwa Kim, Michael Buettner, Mark Hermeling, Seon...
HICSS
2003
IEEE
117views Biometrics» more  HICSS 2003»
14 years 4 months ago
Measuring the Degree of Virtualization - An Empirical Analysis in two Austrian Industries
Strategic management literature suggests that especially in young and dynamic industries Virtual Corporations are more likely to emerge, as this type of organization is flexible e...
Roland Bauer, Sabine T. Köszegi, Michaela Wol...