1763 search results - page 284 / 353 » A Formalization of Polytime Functions |
COLLABORATION
1999
Springer
15 years 2 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
DAWAK
1999
Springer
15 years 2 months ago
1999
Springer
One of the most challenging problems in data manipulation in the future is to be able to e ciently handle very large databases but also multiple induced properties or generalizatio...
115
click to vote
ISORC
1998
IEEE
15 years 2 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
IWPC
1998
IEEE
15 years 2 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
SCCC
1998
IEEE
15 years 2 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...