Sciweavers

1297 search results - page 203 / 260
» Semantic Correctness in Adaptive Process Management Systems
Sort
View
ISPASS
2010
IEEE
15 years 6 months ago
Dynamic program analysis of Microsoft Windows applications
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert...
JLP
2008
134views more  JLP 2008»
14 years 11 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
59
Voted
ECIS
2001
15 years 14 days ago
Planning for IS Related Industry Transformation: The Case of the 3daycar
Despite their potential to reshape business radically, information systems (IS) and information technology (IT) can be key inhibitors of industry transformation. In the automotive...
Mickey Howard, Richard T. Vidgen, Philip Powell, A...
ICSOC
2003
Springer
15 years 4 months ago
Service-Based Distributed Querying on the Grid
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
M. Nedim Alpdemir, Arijit Mukherjee, Norman W. Pat...
TSE
1998
176views more  TSE 1998»
14 years 10 months ago
Constructive Protocol Specification Using Cicero
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
Yen-Min Huang, Chinya V. Ravishankar