15777 search results - page 2465 / 3156 » Software Engineering |
216
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
216
click to vote
SC
2005
ACM
16 years 23 days ago
2005
ACM
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...
195
click to vote
GPCE
2008
Springer
15 years 8 months ago
2008
Springer
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
202
click to vote
ISORC
2005
IEEE
16 years 24 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
197
click to vote
CIDR
2003
15 years 8 months ago
2003
Traditional database system architectures face a rapidly evolving operating environment, where millions of users store and access terabytes of data. In order to cope with increasi...