2399 search results - page 413 / 480 » Developing an Effective IT Integration and Support System |
161
click to vote
STTT
2010
15 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
181
Voted
ICOODB
2009
15 years 3 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
160
click to vote
ICSOC
2009
Springer
15 years 3 months ago
2009
Springer
Ad-hoc and situational applications for personal use will gain more and more traction in the work support for knowledge workers (KWers). Personal information is a key element in th...
242
click to vote
GIS
2008
ACM
16 years 6 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
148
Voted
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...