4360 search results - page 256 / 872 » Socio-technical systems: From design methods to systems engi... |
286
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
173
click to vote
GCB
2004
Springer
16 years 1 days ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
148
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimiz...
185
click to vote
JUCS
2008
15 years 6 months ago
2008
: Web searching techniques have been investigated and implemented in many aspects. Particularly, in case of personalization, more important issue is how to manipulate the results r...
190
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Personas are a powerful design and communication tool to help all those involved in the creation of interactive systems to better focus their efforts on their users. A persona is ...