4636 search results - page 358 / 928 » Modelling and Validation with VipTool |
149
Voted
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
124
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
Internet worm spread is a phenomenon involving millions of hosts, who interact in complex and diverse environment. Scanning speed of each infected host depends on its resources an...
115
click to vote
IEAAIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
132
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
125
Voted
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...