717 search results - page 52 / 144 » Concurrent Engineering |
CONCURRENCY
2006
13 years 10 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 ...
ICSE
2003
IEEE-ACM
14 years 10 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...
VMCAI
2010
Springer
14 years 7 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 ...
APSEC
2008
IEEE
14 years 4 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...
ICSE
2010
IEEE-ACM
14 years 3 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...