4985 search results - page 155 / 997 » Observation of String-Rewriting Systems |
124
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
132
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
136
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
138
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
122
Voted
WECWIS
2008
IEEE
15 years 10 months ago
2008
IEEE
In the development of virtual communities, a new phenomenon of virtual money is observed and presented high importance to both e-commerce and e-society fields. This paper, as a pi...