Sciweavers

170 search results - page 20 / 34
» The Role of Concepts in Program Comprehension
Sort
View
124
Voted
ICTAC
2005
Springer
15 years 9 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
168
Voted
CCS
2011
ACM
14 years 3 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...
130
Voted
IAJIT
2010
99views more  IAJIT 2010»
15 years 2 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...
152
Voted
GROUP
2005
ACM
15 years 9 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
130
Voted
ISMDA
2005
Springer
15 years 9 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 ...