5200 search results - page 758 / 1040 » Symbolic models for control systems |
187
click to vote
DEXA
2005
Springer
16 years 28 days ago
2005
Springer
The rapidly growing web technologies and electronic commerce applications have stimulated the need of personalized and group decision support functionalities in eTourism intermedia...
174
click to vote
IEEEARES
2010
IEEE
16 years 21 days ago
2010
IEEE
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...
180
click to vote
SSS
2009
Springer
15 years 12 months ago
2009
Springer
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we are interested in message forwarding problem in a m...
206
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
189
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
In CORBA-based applications that depend on object replication for fault tolerance, inconsistencies in the states of the replicas of an object can arise when concurrent threads wit...