Sciweavers

389 search results - page 38 / 78
» The Notion of Role in Conceptual Modeling
Sort
View
LICS
2007
IEEE
15 years 8 months ago
Resource modalities in game semantics
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
Paul-André Melliès, Nicolas Tabareau
CSL
1992
Springer
15 years 6 months ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig
POPL
2008
ACM
16 years 2 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana
CHI
2004
ACM
16 years 2 months ago
"Constant, constant, multi-tasking craziness": managing multiple working spheres
Most current designs of information technology are based on the notion of supporting distinct tasks such as document production, email usage, and voice communication. In this pape...
Gloria Mark, Víctor M. González
IADIS
2003
15 years 3 months ago
The Semantic + Pragmatic Web = The Semiotic Web
The desideratum for the concept of a semiotic web is proposed. It combines both the recent semantic web and the pragmatic web initiatives but surpasses them in being faithful to C...
Ahti-Veikko Pietarinen