4693 search results - page 464 / 939 » Verifying Hybrid Systems |
223
click to vote
ECWEB
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
189
click to vote
FORMATS
2004
Springer
16 years 14 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
182
click to vote
ISCIS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
181
click to vote
INFOCOM
2003
IEEE
16 years 11 days ago
2003
IEEE
— Packet loss and end-to-end delay limit delay sensitive applications over the best effort packet switched networks such as the Internet. In our previous work, we have shown that...
156
click to vote
CIA
2003
Springer
16 years 9 days ago
2003
Springer
A multi-agent system is a network of software agents that cooperate to solve problems. In open multi-agent systems, the agents that need resources provided by other agents are not ...