142
click to vote
FORTE
15 years 3 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...
172
click to vote
ICFCA
15 years 9 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 ...
119
click to vote
ICFCA
15 years 9 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...
119
click to vote
ICFCA
15 years 9 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...
184
Voted
SAS
15 years 24 days 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