2658 search results - page 287 / 532 » Micro-communication Element System |
143
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...
159
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Classification algorithms and document representation approaches are two key elements for a successful document classification system. In the past, much work has been conducted to...
137
Voted
DALT
2006
Springer
15 years 8 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
186
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
141
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...