6348 search results - page 1012 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
147
click to vote
AOSE
2005
Springer
16 years 2 days ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
178
click to vote
ARCS
2005
Springer
16 years 2 days ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
190
click to vote
ARCS
2005
Springer
16 years 2 days ago
2005
Springer
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
153
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
We investigate the s-t-connectivity problem for directed planar graphs, which is hard for L and is contained in NL but is not known to be complete. We show that this problem is log...
185
click to vote
SERA
2005
Springer
16 years 10 hour ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...