Sciweavers

920 search results - page 101 / 184
» Computing the Frequency of Partial Orders
Sort
View
AINA
2008
IEEE
15 years 4 months ago
A Protocol for Content-Based Communication in Disconnected Mobile Ad Hoc Networks
In content-based communication, information flows towards interested hosts rather than towards specifically set destinations. This new style of communication perfectly fits the...
Julien Haillot, Frédéric Guidec
AB
2008
Springer
15 years 4 months ago
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...
Wei Niu, Dongming Wang
COORDINATION
2005
Springer
15 years 3 months ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà
BIRTHDAY
2004
Springer
15 years 3 months ago
Duality for Three: Ternary Symmetry in Process Spaces
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
Janusz A. Brzozowski, Radu Negulescu
BIRTHDAY
2003
Springer
15 years 3 months ago
Sweepline the Music!
Abstract. The problem of matching sets of points or sets of horizontal line segments in plane under translations is considered. For finding the exact occurrences of a point set of...
Esko Ukkonen, Kjell Lemström, Veli Mäkin...