8179 search results - page 384 / 1636 » The PRACTIONIST Development Tool |
247
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
180
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
154
click to vote
ACSC
2005
IEEE
16 years 11 days ago
2005
IEEE
The iHealth Explorer tool, developed by CSIRO and DoHA, delivers web services type data mining and analytic facilities over a web interface, providing desktop access to sophistica...
181
click to vote
IVS
2007
15 years 6 months ago
2007
Understanding the spatial and temporal characteristics of individual and group behavior in social networks is a critical component of visual tools for intelligence analysis, emerg...
188
click to vote
CONCURRENCY
1998
15 years 6 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...