1445 search results - page 260 / 289 » Tool Integration in Software Engineering Environments |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
The emerging standards for the publication of Web Services are focused on the specification of the static interfaces of the operations to be invoked, or on the service composition...
WOSP
1998
ACM
14 years 1 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
BMCBI
2008
13 years 9 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...