16859 search results - page 2948 / 3372 » Generative software development |
171
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
191
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
204
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
179
click to vote
ICICS
2004
Springer
16 years 7 days ago
2004
Springer
E-mail system has become one of the most important and popular Internet services. Instead of using traditional surface mail, we have the alternative of employing e-mail system whic...
197
click to vote
ICSOC
2004
Springer
16 years 7 days ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...