9841 search results - page 1535 / 1969 » Task-Centred Information Management |
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
167
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we will address two underlying problems of Web service continuity in mobile ubiquitous networks. On the one hand, our work presents a lightweight solution for connec...
193
click to vote
DAWAK
2004
Springer
15 years 10 months ago
2004
Springer
Mining association rule in event sequences is an important data mining problem with many applications. Most of previous studies on association rules are on mining intra-transaction...
139
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...
184
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...