2273 search results - page 230 / 455 » On the Expressiveness and Complexity of ATL |
149
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
Software architecture analysis helps us assess the quality of a software system at an early stage. In this paper we describe a case study of software architecture analysis that we...
169
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
190
click to vote
CP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
187
click to vote
HCW
1998
IEEE
15 years 10 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
160
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...