2520 search results - page 308 / 504 » Model-checking behavioral programs |
119
click to vote
DFKI
2005
Springer
15 years 4 months ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...
124
click to vote
CLUSTER
2008
IEEE
15 years 2 months ago
2008
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, th...
116
click to vote
JCST
2008
15 years 2 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
114
Voted
UM
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Telecommunication applications based on user modeling focus on extracting customer behavior and preferences from the information implicitly included in Call Detail Record...
150
Voted
PE
2010
Springer
14 years 9 months ago
2010
Springer
We introduce a new framework supporting the bottleneck analysis of closed, multiclass BCMP queueing networks in the limiting regime where the number of jobs proportionally grows t...