Sciweavers

6527 search results - page 23 / 1306
» On Typing Information Flow
Sort
View
COORDINATION
2008
Springer
13 years 9 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
ACSAC
2004
IEEE
13 years 11 months ago
Nabs: A System for Detecting Resource Abuses via Characterization of Flow Content Type
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...
Kulesh Shanmugasundaram, Mehdi Kharrazi, Nasir D. ...
ELPUB
2006
ACM
14 years 1 months ago
NARCIS: The Gateway to Dutch Scientific Information
NARCIS, National Academic Research and Collaborations Information System, is a project in the Netherlands to build a portal for research information which combines structured rese...
Elly Dijk, Chris Baars, Arjan Hogenaar, Marga van ...
ICSM
2002
IEEE
14 years 13 days ago
The Information Gathering Strategies of Software Maintainers
In examining software maintenance processes for improvement opportunities, an obvious choice is information flow. Obtaining accurate, up-to-date, and useful information about a sy...
Carolyn B. Seaman
IJBC
2010
68views more  IJBC 2010»
13 years 4 months ago
Empty interior Recurrence for Continuous Flows on Surfaces
In this paper we characterize topologically the empty interior subsets of a compact surface S which can be -limit sets of recurrent orbits (but of no nonrecurrent ones) of continu...
Víctor Jiménez López, Gabriel...