744 search results - page 57 / 149 » Observations on the Decidability of Transitions |
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
FATES
2004
Springer
14 years 2 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
MDM
2001
Springer
14 years 1 months ago
2001
Springer
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...
EUROMICRO
2009
IEEE
14 years 11 days ago
2009
IEEE
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
SPLC
2007
13 years 10 months ago
2007
Early generation software product line (SPL) methodologies tended to be large, complex, and offer many options and choices, making adoption in practice difficult to comprehend, ju...