2004 search results - page 259 / 401 » Comparison of Model Checking Tools for Information Systems |
152
click to vote
DEBS
2010
ACM
15 years 8 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
136
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
The increasing popularity of high-volume performancecritical Internet applications calls for a scalable server design that allows meeting individual response-time guarantees. Cons...
132
Voted
WSC
1998
15 years 6 months ago
1998
Simulation optimization is rapidly becoming a mainstream tool for simulation practitioners. Simulation optimization is the practice of linking an optimization method with a simula...
140
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
125
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...