Sciweavers

1733 search results - page 82 / 347
» Critical Information Systems Research: A Habermasian Approac...
Sort
View
ISCAS
2007
IEEE
142views Hardware» more  ISCAS 2007»
15 years 7 months ago
Visualization of SystemC Designs
Complex designs can only be understood, if the underlying information is provided in a concise way. In this context visualization is becoming an essential part of system design, u...
Christian Genz, Rolf Drechsler, Gerhard Angst, Lot...
SIGADA
2005
Springer
15 years 7 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
ISW
2010
Springer
14 years 11 months ago
Artificial Malware Immunization Based on Dynamically Assigned Sense of Self
Computer malwares (e.g., botnets, rootkits, spware) are one of the most serious threats to all computers and networks. Most malwares conduct their malicious actions via hijacking t...
Xinyuan Wang, Xuxian Jiang
BERTINORO
2005
Springer
15 years 7 months ago
Spatial Computing: The TOTA Approach
Spatial abstractions promise to be basic necessary ingredients for a novel “spatial computing” approach to distributed systems development and management, suitable to tackle th...
Marco Mamei, Franco Zambonelli
GISCIENCE
2010
Springer
192views GIS» more  GISCIENCE 2010»
15 years 2 months ago
Automatic Extraction of Destinations, Origins and Route Parts from Human Generated Route Directions
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
Xiao Zhang, Prasenjit Mitra, Alexander Klippel, Al...