2488 search results - page 229 / 498 » An improvement in formal verification |
153
click to vote
ECWEB
2005
Springer
16 years 4 days 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...
174
click to vote
GCC
2003
Springer
15 years 11 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 ...
164
click to vote
ICADL
2003
Springer
15 years 11 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 ...
172
click to vote
ACIIDS
2009
IEEE
15 years 10 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 ...
189
click to vote
ESWS
2006
Springer
15 years 10 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...