950 search results - page 148 / 190 » Developing Law-Governed Systems Using Aspects |
150
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
130
Voted
DFKI
2005
Springer
15 years 9 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
133
Voted
DGO
2009
15 years 4 months ago
2009
Impact assessment (IA) is a key method for the legislator to evaluate policies, norms or regulations currently under development. Experts use IA to gather and analyze input from m...
108
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
130
click to vote
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the user...