5439 search results - page 748 / 1088 » Patterns: from system design to software testing |
177
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
167
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
187
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
191
click to vote
WOSS
2004
ACM
16 years 3 days ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
217
click to vote
HAPTICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Background: Monitoring body kinematics has fundamental relevance in several biological and technical disciplines. In particular the possibility to exactly know the posture may fur...