9444 search results - page 1527 / 1889 » The Language Model LMNtal |
207
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
211
click to vote
WISE
2008
Springer
16 years 1 months ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
182
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
190
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
175
click to vote
B
2007
Springer
16 years 29 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...