2409 search results - page 170 / 482 » Logical systems for structured specifications |
182
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
200
click to vote
IEEESCC
2005
IEEE
16 years 2 days ago
2005
IEEE
An important aspect of service-centric systems (i.e. systems composed of services) is the ability to support service discovery at run-time in order to cope with unavailable or mal...
189
click to vote
VISUALIZATION
1992
IEEE
15 years 10 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
154
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
179
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...