4604 search results - page 629 / 921 » Concurrency in Synchronous Systems |
132
click to vote
ACSD
2005
IEEE
16 years 11 days 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...
171
click to vote
DATE
2005
IEEE
16 years 10 days 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...
170
click to vote
HICSS
2005
IEEE
16 years 10 days 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...
183
Voted
HICSS
2005
IEEE
16 years 10 days 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...
199
click to vote
VL
2005
IEEE
16 years 9 days 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...