3142 search results - page 14 / 629 » A formal approach for designing CORBA based applications |
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
WISE
2008
Springer
14 years 1 months ago
2008
Springer
This paper presents an Ontology-based approach for dealing with guidelines concerning the usability and the accessibility of Web applications. We report an ontology which provides ...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
PET
2004
Springer
14 years 25 days ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
RTS
2008
13 years 7 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...