959 search results - page 101 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
DISCEX
2003
IEEE
14 years 1 months ago
2003
IEEE
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
IEAAIE
2003
Springer
14 years 1 months ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
WWW
2002
ACM
14 years 9 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...