Sciweavers

5634 search results - page 403 / 1127
» About Abstract Classes
Sort
View
ASUNAM
2011
IEEE
14 years 6 months ago
The ML-Model for Multi-layer Social Networks
Abstract—In this paper we introduce a new model to represent an interconnected network of networks. This model is fundamental to reason about the real organization of on-line soc...
Matteo Magnani, Luca Rossi
CPP
2011
99views more  CPP 2011»
14 years 6 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...
EPART
2011
103views more  EPART 2011»
14 years 6 months ago
Towards a Structured Online Consultation Tool
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...
Adam Zachary Wyner, Katie Atkinson, Trevor J. M. B...
ECBS
2005
IEEE
88views Hardware» more  ECBS 2005»
16 years 10 days ago
Integrative Architecture Elicitation for Large Computer Based Systems
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...
Peter Tabeling, Bernhard Gröne
FDG
2009
ACM
16 years 1 months ago
A requirements analysis for videogame design support tools
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
Mark J. Nelson, Michael Mateas