1585 search results - page 34 / 317 » A framework for computer-aided validation |
121
click to vote
JSW
2007
14 years 11 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
108
click to vote
SIGMETRICS
2002
ACM
14 years 11 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...
AIIDE
2008
15 years 2 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...
128
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
ICNP
2000
IEEE
15 years 4 months ago
2000
IEEE
In order to detect violations of end-to-end service level agreements (SLA) and to isolate trouble links and nodes based on a unified framework, managers of a service provider net...