4600 search results - page 578 / 920 » Presenting the cyclotactor project |
183
click to vote
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
196
click to vote
OZCHI
2005
ACM
16 years 9 days ago
2005
ACM
Technology is advancing at a rapid pace, automating many everyday chores in the process, changing the way we perform work and providing various forms of entertainment. Makers of t...
173
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...
172
click to vote
EGC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The development and deployment of middleware and applications in a grid environment spread over many institutions is a complex challenge. The management of the developmen...
175
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...