5550 search results - page 70 / 1110 » Different Approaches to Proof Systems |
155
click to vote
WSC
2007
15 years 8 months ago
2007
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
162
Voted
JSAT
2008
15 years 6 months ago
2008
This paper proposes a new semidefinite programming relaxation for the satisfiability problem. This relaxation is an extension of previous relaxations arising from the paradigm of ...
163
Voted
UML
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
154
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...
156
Voted
CSFW
2008
IEEE
16 years 19 days ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...