1585 search results - page 66 / 317 » A framework for computer-aided validation |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
BIS
2007
15 years 1 months ago
2007
In this paper, we explore a framework for researching relationships between community characteristics and regulation principles. Different regulation principles are supported by d...
105
click to vote
ICWS
2004
IEEE
15 years 1 months ago
2004
IEEE
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
103
click to vote
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
HPDC
2010
IEEE
15 years 29 days ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...