880 search results - page 111 / 176 » Model checking erlang programs: the functional approach |
125
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
143
Voted
VRCAI
2004
ACM
15 years 9 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
163
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
114
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
174
click to vote
COCOS
2003
Springer
15 years 9 months ago
2003
Springer
We investigate some approaches to solving nonconvex global optimization problems by convex nonlinear programming methods. We assume that the problem becomes convex when selected va...