3828 search results - page 502 / 766 » Proof-Based System Engineering Using a Virtual System Model |
198
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
179
click to vote
ACL
2006
15 years 8 months ago
2006
A query speller is crucial to search engine in improving web search relevance. This paper describes novel methods for use of distributional similarity estimated from query logs in...
205
click to vote
ER
2005
Springer
16 years 15 days ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
178
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
171
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...