2803 search results - page 536 / 561 » A Type System for Prototyping Languages |
134
Voted
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
159
Voted
DOLAP
2010
ACM
15 years 1 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
178
Voted
TOPNOC
2010
14 years 10 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
228
Voted
GIS
2009
ACM
2009
ACM
Web 2.0 Geospatial Visual Analytics for Improved Urban Flooding Situational Awareness and Assessment
16 years 4 months ago
Situational awareness of urban flooding during storm events is important for disaster and emergency management. However, no general purpose tools yet exist for rendering rainfall ...
125
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...