5477 search results - page 195 / 1096 » Contexts, Domains, and Software |
202
click to vote
COMPSAC
2003
IEEE
16 years 13 days ago
2003
IEEE
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
207
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
188
click to vote
FLAIRS
2000
15 years 8 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
198
click to vote
SOSP
2009
ACM
16 years 4 months ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
211
click to vote
APCCM
2009
15 years 8 months ago
2009
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...