Sciweavers

170 search results - page 20 / 34
» The Role of Concepts in Program Comprehension
Sort
View
ICTAC
2005
Springer
15 years 5 months ago
A Rewriting Logic Sampler
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
José Meseguer
CCS
2011
ACM
13 years 11 months ago
Automatic error finding in access-control policies
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripun...
IAJIT
2010
99views more  IAJIT 2010»
14 years 10 months ago
Semiotics Explorations on Designing the Information Intensive Web Interfaces
: The growth of technological innovations, internet developments, and their (web) applications has raised a definite issue on retaining the web interface quite understandable. More...
Muhammad Islam, Mohsin Ali, Ali Al-Mamun, Motaharu...
GROUP
2005
ACM
15 years 5 months ago
Negotiated rhythms of mobile work: time, place, and work schedules
This study investigates the role of rhythms in the collaborative coordination of mobile work as well as in the individual actors’ comprehension and command of their work. Drawin...
Magnus Nilsson, Morten Hertzum
ISMDA
2005
Springer
15 years 5 months ago
The Ontological Lens: Zooming in and out from Genomic to Clinical Level
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
Domenico M. Pisanelli, Francesco Pinciroli, Marco ...