141 search results - page 22 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
115
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
119
click to vote
SQJ
2008
15 years 1 months ago
2008
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
119
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
123
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
123
click to vote
TACS
1994
Springer
15 years 5 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...