10159 search results - page 398 / 2032 » System Design Validation Using Formal Models |
163
click to vote
BIS
2010
15 years 2 months ago
2010
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
161
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
127
click to vote
JMLR
2011
14 years 11 months ago
2011
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
116
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
150
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recently, research on disconnected networks has been fostered by several studies on delay-tolerant networks, which are designed in order to sustain disconnected operations. We ...