4924 search results - page 387 / 985 » A Software System for Spatial Data Analysis and Modeling |
189
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
207
click to vote
RTSS
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
165
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
210
Voted
DSRT
2005
IEEE
16 years 11 days ago
2005
IEEE
The Extensible Battle Management Language project has implemented XML based data mediation services to translate from legacy XML schemas into XML schemas, based on a common tag se...
179
click to vote
CHIMIT
2009
ACM
16 years 1 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...