197
click to vote
FORTE
15 years 8 months ago
2010 
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...
258
Voted
ICFCA
16 years 1 months ago
2010 Springer
Let L → H be a lattice homomorphism and let a “readable” drawing of H be given. It is natural to make use of it to try getting a clear(er) drawing of L. Hence, the following ...
187
click to vote
ICFCA
16 years 1 months ago
2010 Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
178
click to vote
ICFCA
16 years 1 months ago
2010 Springer
We investigate the complexity of enumerating pseudo-intents in the lectic order. We look at the following decision problem: Given a formal context and a set of n pseudo-intents det...
243
Voted
SAS
15 years 5 months ago
2010 Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
|
Formal Methods