3564 search results - page 329 / 713 » Evaluating a Formal Modelling Language |
159
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
149
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
133
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
143
Voted
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
176
Voted
ISORC
1998
IEEE
15 years 8 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...