8179 search results - page 409 / 1636 » The PRACTIONIST Development Tool |
181
click to vote
APVIS
2001
15 years 8 months ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
167
click to vote
WOA
2000
15 years 8 months ago
2000
Big changes are taking place in the area of information supply and demand on Internet. The first big change, which took place quite a while ago, is related to the type of informat...
167
click to vote
IJSC
2008
15 years 6 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
303
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specification...
188
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...