1246 search results - page 99 / 250 » Tool Support for Helping the Use of Frameworks |
FORMATS
2004
Springer
14 years 22 days ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
SWAP
2007
13 years 10 months ago
2007
The JUMP project aims at bringing together the knowledge stored in different information systems in order to satisfy information and training needs in knowledge-intensive organisa...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
BMCBI
2005
13 years 9 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
SEMCO
2007
IEEE
14 years 3 months ago
2007
IEEE
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...