9974 search results - page 1333 / 1995 » Software Interconnection Models |
189
click to vote
FASE
2004
Springer
16 years 20 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...
219
Voted
RE
2004
Springer
16 years 19 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...
203
click to vote
SEM
2004
Springer
16 years 19 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...
193
click to vote
WADT
2004
Springer
16 years 19 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...
209
Voted
WER
2004
Springer
16 years 18 days ago
2004
Springer
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...