Sciweavers

248 search results - page 40 / 50
» Checking e-service consistency using Description Logics
Sort
View
ISSTA
2006
ACM
14 years 1 months ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
EDOC
2002
IEEE
14 years 12 days ago
On Expressing and Monitoring Behaviour in Contracts
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
Zoran Milosevic, R. Geoff Dromey
LREC
2010
168views Education» more  LREC 2010»
13 years 9 months ago
Bulgarian National Corpus Project
The paper presents Bulgarian National Corpus project (BulNC) - a large-scale, representative, online available corpus of Bulgarian. The BulNC is also a monolingual general corpus,...
Svetla Koeva, Diana Blagoeva, Siya Kolkovska
DAC
1997
ACM
13 years 11 months ago
Power Macromodeling for High Level Power Estimation
A modeling approach is presented that captures the dependence of the power dissipation of a combinational logic circuit on its input output signal switching activity. The resulting...
Subodh Gupta, Farid N. Najm
HICSS
1998
IEEE
112views Biometrics» more  HICSS 1998»
13 years 11 months ago
AESOP: An Outline-Oriented Authoring System
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
Takeshi Shimizu, Stephen W. Smoliar, John S. Borec...