463 search results - page 30 / 93 » Method Tailoring as Negotiation |
141
click to vote
ICDCSW
2000
IEEE
15 years 7 months ago
2000
IEEE
Support of end-to-end Quality-of-Service (QoS) and ate high-level programming abstractions are two crucial factors for the development of future telecommunication services and dis...
121
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
New systems can be created by assembling a set of elementary services provided by various stakeholders in a service composition. Service composition is not a trivial endeavor and ...
111
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
117
Voted
IWEC
2007
15 years 4 months ago
2007
Based on our experience using active learning methods to teach object-oriented software design we propose a game-based approach to take the classroom experience into a virtual envi...
160
Voted
DBSEC
1996
15 years 4 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...