2004 search results - page 184 / 401 » Comparison of Model Checking Tools for Information Systems |
172
Voted
HICSS
2007
IEEE
16 years 14 days ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
156
click to vote
IWIA
2005
IEEE
15 years 11 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
238
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We are witnessing an explosive increase in the complexity of the information systems we rely upon. Autonomic systems address this challenge by continuously configuring and tuning ...
149
click to vote
CONTEXT
2007
Springer
16 years 10 days ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
161
Voted
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...