Sciweavers

248 search results - page 40 / 50
» Checking e-service consistency using Description Logics
Sort
View
ISSTA
2006
ACM
15 years 5 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
15 years 4 months 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
98
Voted
LREC
2010
168views Education» more  LREC 2010»
15 years 1 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
15 years 4 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»
15 years 4 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...