1704 search results - page 176 / 341 » Focusing Software Education on Engineering |
117
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...
140
click to vote
RE
2007
Springer
15 years 10 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
134
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Much of the knowledge used within an XP team is tacit, i.e. it is hidden and intangible. Two tangible artefacts that carry information about the team’s work are the index cards ...
128
Voted
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
119
click to vote
AUIC
2006
IEEE
15 years 10 months ago
2006
IEEE
Short Message Service (SMS) is a popular form of nonverbal mobile communication. To date, most research has focused upon the use of SMS by teenagers and young adults. Our work exa...