9018 search results - page 1154 / 1804 » 3D-Brain Model Software |
187
click to vote
FASE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
192
click to vote
FASE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
221
click to vote
RE
2004
Springer
16 years 24 days ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
206
click to vote
SEM
2004
Springer
16 years 23 days ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
197
click to vote
WADT
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...