Sciweavers

15254 search results - page 388 / 3051
» A k
Sort
View
190
Voted
ASWEC
2004
IEEE
15 years 11 months ago
Combining Agent-Oriented Conceptual Modelling with Formal Methods
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...
BPM
2006
Springer
133views Business» more  BPM 2006»
15 years 11 months ago
Combining i* and BPMN for Business Process Model Lifecycle Management
George Koliadis, Aleksandar Vranesevic, Moshiur Bh...
127
Voted
CCS
2006
ACM
15 years 11 months ago
NETRA: : seeing through access control
Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani...
133
Voted
DSN
2004
IEEE
15 years 11 months ago
Component Middleware to Support Non-repudiable Service Interactions
Nick Cook, Paul Robinson, Santosh K. Shrivastava
131
Voted
DSN
2004
IEEE
15 years 11 months ago
Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors
Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iy...