2409 search results - page 237 / 482 » Logical systems for structured specifications |
151
click to vote
AAI
2000
15 years 4 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
249
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
There has been considerable work on automated physical design tuning for database systems. Existing solutions require offline invocations of the tuning tool and depend on DBAs ide...
135
Voted
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
102
Voted
SERVICES
2008
15 years 6 months ago
2008
Web service standards, like several other IT standards, are anticipatory, i.e., they are designed and codified in anticipation of actual adoption and use. As a result, the setting...
148
click to vote
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...