Sciweavers

4469 search results - page 181 / 894
» A Language for Role Specifications
Sort
View
FIW
2000
147views Communications» more  FIW 2000»
15 years 7 months ago
Formalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
Kenneth J. Turner
AIMS
2010
Springer
15 years 8 months ago
Model-Driven Service Level Management
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...
Anacleto Correia, Fernando Brito e Abreu
APLAS
2010
ACM
15 years 6 months ago
Reasoning about Computations Using Two-Levels of Logic
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
Dale Miller
CSE
2009
IEEE
16 years 1 months ago
Validation of Sociocultural Models and Meta-Models via Serious Games
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...
K. Brock Stitts, Colleen L. Phillips, Norman D. Ge...
IUI
2009
ACM
15 years 11 months ago
Collaborative translation by monolinguals with machine translators
In this paper, we present the concept for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of translation usin...
Daisuke Morita, Toru Ishida