598 search results - page 43 / 120 » A Reusability Model for Portlets |
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
162
click to vote
KESAMSTA
2011
Springer
14 years 2 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
BTW
2007
Springer
15 years 6 months ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
100
click to vote
LREC
2008
15 years 1 months ago
2008
Although ontologies and linguistic resources play a key role in applied AI and NLP, they have not been developed in a common and systematic way. The lack of a systematic methodolo...
CASCON
2006
15 years 1 months ago
2006
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...