5639 search results - page 275 / 1128 » Timed Abstract Non-interference |
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. LEAD is a large-scale effort to build a service-oriented infrastructure that allows atmospheric science researchers to dynamically and adaptively respond to weather patt...
114
click to vote
ISCIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
119
click to vote
PKDD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
115
Voted
AOSE
2003
Springer
15 years 8 months ago
2003
Springer
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
157
Voted
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present an expected polynomial time algorithm to generate a labeled planar graph uniformly at random. To generate the planar graphs, we derive recurrence formulas that...