4096 search results - page 417 / 820 » An Object Model for Interoperable Systems |
213
Voted
WSC
2007
15 years 9 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
206
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
148
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...
204
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
178
click to vote
ICPPW
2007
IEEE
16 years 1 months ago
2007
IEEE
Several challenges about computational grid exist in integrating, coordinating and managing of resources and scheduling of applications, due to distributed resources at various le...