22114 search results - page 311 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
197
click to vote
RTCSA
2005
IEEE
16 years 25 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
209
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
225
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
188
click to vote
SIGITE
2004
ACM
16 years 20 days ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
217
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...