12774 search results - page 181 / 2555 » A Framework for Proof Systems |
130
click to vote
PST
2004
15 years 6 months ago
2004
All information systems can be represented by a conceptual and abstracted systems diagram. Therefore all attacks against information systems can also be ted. By studying the securi...
129
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
144
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
117
click to vote
DAC
1998
ACM
15 years 8 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
125
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...