2233 search results - page 148 / 447 » Modular type classes |
148
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
159
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
135
click to vote
SETN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents the capabilities offered by MultiAgent System technology in the operation of a Microgrid. A Microgrid is a new type of power system, which is formed b...
133
click to vote
WEA
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a metaheuristic framework for combinatorial optimization. Our framework is similar to others (e.g. [1]) in that it is modular enough that important components can be i...
130
Voted
ISMAR
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a six degrees of freedom tracking system, which is wireless and scalable concerning the tracking volume and the number of devices being tracked. This is achieved by the...