1837 search results - page 254 / 368 » Architecture = Abstractions over Software |
148
click to vote
FSTTCS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
130
click to vote
REFSQ
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
161
Voted
EGC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The development and deployment of middleware and applications in a grid environment spread over many institutions is a complex challenge. The management of the developmen...
144
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
179
click to vote
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...