1728 search results - page 161 / 346 » Formal Modeling of Process Migration |
119
Voted
DGO
2003
15 years 4 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
149
click to vote
JLP
2006
15 years 3 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
112
click to vote
ICSE
1987
IEEE-ACM
15 years 6 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
102
click to vote
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
113
click to vote
DBPL
2003
Springer
15 years 8 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...