Sciweavers

354 search results - page 50 / 71
» On Obligations
Sort
View
CASSIS
2005
Springer
14 years 3 months ago
Mobile Resource Guarantees and Policies
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
David Aspinall, Kenneth MacKenzie
ICSOC
2005
Springer
14 years 3 months ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
UML
2005
Springer
14 years 3 months ago
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
SIGCPR
2004
ACM
64views Hardware» more  SIGCPR 2004»
14 years 3 months ago
Recruitment is never enough: retention of women and minorities in the IT workplace
Women, as well as African Americans, Hispanic Americans and Native Americans are represented in the information technology (IT) workforce in percentages that are far lower than th...
Andrea Tapia, Lynette Kvasny
SIGCSE
2004
ACM
111views Education» more  SIGCSE 2004»
14 years 3 months ago
Events not equal to GUIs
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
Stuart A. Hansen, Timothy V. Fossum