2409 search results - page 186 / 482 » Logical systems for structured specifications |
185
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
185
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
175
click to vote
IDEAL
2009
Springer
16 years 1 months ago
2009
Springer
Nowadays, there is a growing need for providing novel solutions to facilitate active learning in dependency environments. This paper present a multiagent architecture that incorpor...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
156
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...