Sciweavers

343 search results - page 22 / 69
» Predictability in Real-time System Development (1) Semantics...
Sort
View
RULES
1993
Springer
159views Database» more  RULES 1993»
13 years 11 months ago
Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...
Michael Doherty, Joan Peckham, Victor Fay Wolfe
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
13 years 11 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
CSFW
2012
IEEE
11 years 9 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
34
Voted
JMM2
2006
218views more  JMM2 2006»
13 years 7 months ago
Automatic Recognition of Facial Actions in Spontaneous Expressions
Spontaneous facial expressions differ from posed expressions in both which muscles are moved, and in the dynamics of the movement. Advances in the field of automatic facial express...
Marian Stewart Bartlett, Gwen Littlewort, Mark G. ...
TNN
1998
125views more  TNN 1998»
13 years 7 months ago
Symbolic connectionism in natural language disambiguation
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
Samuel W. K. Chan, James Franklin