4586 search results - page 479 / 918 » Computing stable models in parallel |
155
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. The design of this kind of database requires the introducti...
178
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
202
click to vote
ISORC
2006
IEEE
16 years 24 days ago
2006
IEEE
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
154
click to vote
ICPADS
2005
IEEE
16 years 12 days ago
2005
IEEE
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
170
click to vote
GCC
2003
Springer
16 years 11 hour ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...