174 search results - page 33 / 35 » Do Actors Call Use Cases |
KIVS
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
WG
1994
Springer
13 years 10 months ago
1994
Springer
The goal of a fugitive-search game on a graph is to trap a fugitive that hides on the vertices of the graph by systematically placing searchers on the vertices. The fugitive is as...
EWSA
2006
Springer
13 years 10 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
FASE
2008
Springer
13 years 8 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
AIML
2008
13 years 7 months ago
2008
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for "Valentini&q...