Sciweavers

3185 search results - page 371 / 637
» Principles for modeling language design
Sort
View
UAIS
2002
100views more  UAIS 2002»
15 years 6 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
NGITS
1995
Springer
15 years 10 months ago
A History-Oriented Temporal SQL Extension
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...
Fabio Grandi, Maria Rita Scalas, Paolo Tiberio
QI
2009
Springer
160views Physics» more  QI 2009»
16 years 1 months ago
Beyond Ontology in Information Systems
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
Christian Flender, Kirsty Kitto, Peter Bruza
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Encoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Kazunori Ueda
POPL
2008
ACM
16 years 7 months ago
Relevance heuristics for program analysis
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
Kenneth L. McMillan