16216 search results - page 259 / 3244 » Effective Modeling with Constraints |
167
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
179
Voted
ENTCS
2007
15 years 6 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
198
click to vote
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
180
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
User Interface between user and information systems has a great role in system adoption. Based on technology acceptance model, acceptance of a system is explained as a function of...
154
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
Internet Coordinate Systems (ICS) provide easy and practical latency predictions in the Internet. However, peer dynamics (i.e, churn), which is an inherent property of peer-to-peer...