2488 search results - page 229 / 498 » An improvement in formal verification |
ECWEB
2005
Springer
15 years 7 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
114
click to vote
GCC
2003
Springer
15 years 6 months ago
2003
Springer
The availability is often used to measure how well a system can provide the service continuously. The measures of availability for a single computer and for multiple computers are ...
103
click to vote
ICADL
2003
Springer
15 years 6 months ago
2003
Springer
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...
115
click to vote
ACIIDS
2009
IEEE
15 years 5 months ago
2009
IEEE
Inter domain service routing is an element in the success of Next Generation Network. Service requests, such as the INVITE request in Session Initiation Protocol [21] may need to ...
103
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...