1527 search results - page 263 / 306 » Demographic information flows |
HYBRID
2000
Springer
14 years 3 days ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
LCPC
2000
Springer
14 years 2 days ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
DSVIS
1994
Springer
14 years 14 hour ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
AAAI
2008
13 years 10 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...