8810 search results - page 142 / 1762 » Open. Closed. Open |
162
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
164
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
Conventional content management systems (CMSes) consider user management, specifically authorization to modify content objects to be orthogonal to any evolution of content within ...
139
click to vote
DFN
2004
15 years 7 months ago
2004
: The OpenGL Vizserver computing solution is one of the key enabling technologies in a Visual Area Network (VAN). These solutions distribute the interactive graphics generated by p...
161
click to vote
ICIS
2003
15 years 7 months ago
2003
Information systems success is one of the most widely used dependent variables in information systems research. In this paper, we identify a range of measures that can be used to ...
203
click to vote
SIDAR
2003
15 years 7 months ago
2003
: Forensische Analysen mit freien OpenSource Programmen sind seit Dan Farmers und Wietse Venemas ersten und einzigen Forensik-Kurs und der darauf folgenden Veröffentlichung des Co...