1791 search results - page 93 / 359 » Behavioral Operations |
172
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
111
click to vote
IMSCCS
2006
IEEE
15 years 9 months ago
2006
IEEE
The computer architecture of Single-chip multiprocessor (SCMP) is one of important research topics in developing the next-generation of computer hardware. A verification environme...
141
Voted
SC
2004
ACM
15 years 8 months ago
2004
ACM
In petabyte-scale distributed file systems that decouple read and write from metadata operations, behavior of the metadata server cluster will be critical to overall system perfo...
142
click to vote
HYBRID
1999
Springer
15 years 7 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
119
click to vote
DAGSTUHL
2004
15 years 4 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...