2364 search results - page 167 / 473 » An Engine for Computing Well-Founded Models |
141
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
The growing importance of Web traffic on the Internet makes it important that we have accurate traffic models in order to plan and provision. In this paper we present a Web traffi...
135
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
130
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
116
Voted
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
The definition of context experienced an evolution in the research area of context-aware computing, but still suffers from either generality or incompleteness. Furthermore, many de...
149
click to vote
VSMM
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the Evolutionary Virtual Agent (EVA) prototype designed as an interactive entertainment system for a multimedia exhibition. This implementation uses a behavior...