4604 search results - page 629 / 921 » Concurrency in Synchronous Systems |
144
Voted
ACSD
2005
IEEE
16 years 1 months ago
2005
IEEE
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
190
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
198
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Virtual teams and their leaders are key players in global organisations. Using teams of workers dispersed temporally and geographically has changed the way people work in groups a...
214
Voted
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
E-learning growth is driven by global, societal, and technological changes that both enable and require increased worker and learner mobility, access to distributed domain experti...
232
click to vote
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...