1099 search results - page 89 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
186
click to vote
SPLC
2010
15 years 7 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
160
click to vote
HASKELL
2006
ACM
16 years 8 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
174
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
169
click to vote
RE
2007
Springer
16 years 13 days 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 ...
148
click to vote
PERVASIVE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...