3765 search results - page 735 / 753 » Formal Methods for Systems Engineering Behavior Models |
EDBTW
2010
Springer
13 years 12 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
ISLPED
2003
ACM
14 years 1 months ago
2003
ACM
In this paper, we investigate methods for improving the hit rates in the first level of memory hierarchy. Particularly, we propose victim cache structures to reduce the number of ...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
ICDCS
2011
IEEE
12 years 8 months ago
2011
IEEE
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...