8316 search results - page 1475 / 1664 » Web Document Modeling |
157
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
164
Voted
BTW
2001
Springer
15 years 10 months ago
2001
Springer
Abstract Integrated engineering environments, based on federated database technology, are, among others, a means to control the integrity of and dependencies between product data c...
133
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
150
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
165
Voted
ACMSE
2000
ACM
15 years 10 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...