717 search results - page 52 / 144 » Concurrent Engineering |
136
click to vote
CONCURRENCY
2006
15 years 2 months ago
2006
In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The ...
87
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporate...
125
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
89
Voted
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
86
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. A novel user interface that is based on collections of light...