Sciweavers

5843 search results - page 890 / 1169
» Software Security in Practice
Sort
View
LPNMR
2007
Springer
16 years 24 days ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
MTSR
2007
Springer
16 years 24 days ago
Towards a Definition of Digital Information Preservation Object
In this paper, we discuss long-term digital preservation from an information perspective, rather than the predominant approaches; the Archival and the Technocratic Approach. Inform...
Hugo Quisbert, Margarita Korenkova, Ann Häger...
REFSQ
2007
Springer
16 years 23 days ago
Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
Inger Dybdahl Sørby, Øystein Nytr&os...
DSD
2006
IEEE
89views Hardware» more  DSD 2006»
16 years 22 days ago
FPGA Implementation of Embedded Cruise Control and Anti-Collision Radar
The ModEasy project seeks to develop techniques and software tools to aid in the development of reliable microprocessor based electronic (embedded) systems using advanced developm...
Sébastien Le Beux, Philippe Marquet, Ouassi...
ISSRE
2006
IEEE
16 years 20 days ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...