Sciweavers

21379 search results - page 196 / 4276
» The profession of IT - Evolutionary system development
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Composition by Colimit and Formal Software Development
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
Douglas R. Smith
LREC
2008
105views Education» more  LREC 2008»
15 years 8 months ago
Hydra: a Modal Logic Tool for Wordnet Development, Validation and Exploration
This paper presents a multipurpose system for wordnet (WN) development, named Hydra. Hydra is an application for data editing and validation, as well as for data retrieval and syn...
Borislav Rizov
ANNALS
2008
85views more  ANNALS 2008»
15 years 6 months ago
The Technical Development of Internet Email
The development and evolution of the technologies and standards for Internet email took over twenty years, and arguably is still underway today. The protocols to move email betwee...
Craig Partridge
IJMMS
2007
88views more  IJMMS 2007»
15 years 6 months ago
The sensual evaluation instrument: Developing a trans-cultural self-report measure of affect
In this paper we describe the development and testing of a tool for self-assessment of affect while interacting with computer systems, meant to be used in many cultures. We discus...
Katherine Isbister, Kristina Höök, Jarmo...
COMPSAC
2010
IEEE
15 years 4 months ago
Challenges and Future Directions of Software Technology: Secure Software Development
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
Bhavani M. Thuraisingham, Kevin W. Hamlen